Model-based testing of software and systems: recent advances and challenges

Model-based testing is focused on testing techniques which rely on the use of models. The diversity of systems and software to be tested implies the need for research on a variety of models and methods for test automation. We briefly review this research area and introduce several papers selected from the 22nd International Conference on Testing Software and Systems (ICTSS).     

Target Score—A Proteomics Data Selection Tool Applied to Esophageal Cancer Identifies GLUT1-Sialyl Tn Glycoforms as Biomarkers of Cancer Aggressiveness

Esophageal cancer (EC) is a life-threatening disease, demanding the discovery of new biomarkers and molecular targets for precision oncology. Aberrantly glycosylated proteins hold tremendous potential towards this objective. In the current study, a series of esophageal squamous cell carcinomas (ESCC) and EC-derived circulating tumor cells (CTCs) were screened by immunoassays for the sialyl-Tn (STn) antigen, a glycan rarely expressed in healthy tissues and widely observed in aggressive gastrointestinal cancers. An ESCC cell model was glycoengineered to express STn and characterized in relation to cell proliferation and invasion in vitro. STn was found to be widely present in ESCC (70% of tumors) and in CTCs in 20% of patients, being associated with general recurrence and reduced survival. Furthermore, STn expression in ESCC cells increased invasion in vitro, while reducing cancer cells proliferation. In parallel, an ESCC mass spectrometry-based proteomics dataset, obtained from the PRIDE database, was comprehensively interrogated for abnormally glycosylated proteins. Data integration with the Target Score, an algorithm developed in-house, pinpointed the glucose transporter type 1 (GLUT1) as a biomarker of poor prognosis. GLUT1-STn glycoproteoforms were latter identified in tumor tissues in patients facing worst prognosis. Furthermore, healthy human tissues analysis suggested that STn glycosylation provided cancer specificity to GLUT1. In conclusion, STn is a biomarker of worst prognosis in EC and GLUT1-STn glycoforms may be used to increase its specificity on the stratification and targeting of aggressive ESCC forms.     

Visceral Adipose Tissue Displays Unique Metabolomic Fingerprints in Obesity,Pre-Diabetes and Type 2 Diabetes

Visceral adipose tissue (VAT) metabolic profiling harbors the potential to disentangle molecular changes underlying obesity-related dysglycemia. In this study, the VAT exometabolome of subjects with obesity and different glycemic statuses are analyzed. The subjects (n = 19) are divided into groups according to body mass index and glycemic status: subjects with obesity and euglycemia (Ob+NGT, n = 5), subjects with obesity and pre-diabetes (Ob+Pre-T2D, n = 5), subjects with obesity and type 2 diabetes under metformin treatment (Ob+T2D, n = 5) and subjects without obesity and with euglycemia (Non-Ob, n = 4), used as controls. VATs are incubated in culture media and extracellular metabolite content is determined by proton nuclear magnetic resonance (¹H-NMR). Glucose consumption is not different between the groups. Pyruvate and pyroglutamate consumption are significantly lower in all groups of subjects with obesity compared to Non-Ob, and significantly lower in Ob+Pre-T2D as compared to Ob+NGT. In contrast, isoleucine consumption is significantly higher in all groups of subjects with obesity, particularly in Ob+Pre-T2D, compared to Non-Ob. Acetate production is also significantly lower in Ob+Pre-T2D compared to Non-Ob. In sum, the VAT metabolic fingerprint is associated with pre-diabetes and characterized by higher isoleucine consumption, accompanied by lower acetate production and pyruvate and pyroglutamate consumption. We propose that glucose metabolism follows different fates within the VAT, depending on the individuals’ health status.     

Superabsorbent hydrogel based on modified polysaccharide for removal of Pb2+ and Cu2+ from water with excellent performance

This contribution describes the absorption percentage of Pb²⁺ and Cu²⁺ from water by a superabsorbent hydrogel matrix (SH) made from an anionic polysaccharide copolymerized with acrylic acid (AAc) and acrylamide (AAm). Metal‐absorption tests, upon sequential pH variation, indicated that the SH has pH‐sensitivity for the absorption of both metals from solution, attributed to the functional ionic groups (? COOH) present in the AAc and arabic gum (AG) segments. At the pH 5.0, the SH exhibited good absorption capacity: 73.10% for Pb²⁺, 81.99% for Cu²⁺ in water and 63.64% for Pb²⁺, and 76.67% for Cu²⁺ in saline water with 0.1 mol kg^?1 ionic strength. A replicated 2² full factorial design with a central point was built to evaluate the maximum absorption capacity of the metals into the SH. It was found that both the interaction and main effects of the pH and the initial concentration of metal solution on absorption percentage of the metals were statistically significant. Surface response plots indicated that the absorption capacity of both metals into the SH may be appreciably improved by using the solutions with lower initial concentration of metal and with higher pH values. Metal‐absorption results demonstrated that the SH is a convenient material for absorption of Pb²⁺ and Cu²⁺ from pure aqueous and saline aqueous environments. © 2007 Wiley Periodicals, Inc. J Appl Polym Sci 2007     

Polyethylene-layered silicate nanocomposites prepared by the polymerization-filling technique: synthesis and mechanical properties

Polyethylene-layered silicate nanocomposites were prepared by the in situ intercalative polymerization of ethylene by the so-called polymerization-filling technique and analyzed by transmission electron microscopy (TEM), X-ray diffraction analysis (XRD), differential scanning calorimetry, dynamic mechanical analysis and tensile testing. Non-modified montmorillonite and hectorite were first treated by trimethylaluminum-depleted methylaluminoxane before being contacted by a Ti-based constrained geometry catalyst. The nanocomposite was formed by addition and polymerization of ethylene. In the absence of a chain transfer agent, ultra high molecular weight polyethylene was produced. The tensile properties of these nanocomposites were poor and essentially independent of the nature and content of the silicate. Upon hydrogen addition, the molecular weight of the polyethylene was decreased with parallel improvement of the tensile and shear moduli, in relation to the filler content. The exfoliation of the layered silicates was confirmed by XRD analysis and TEM observation. The mechanical kneading of the molten nanocomposites resulted in the partial collapse of the exfoliated structure driven by the thermodynamic stability of the layered filler.     

Various Scale Levels of the Gel-to-Glass Transformation

The gel-to-glass transition in SiO₂ xerogels prepared by inorganic sol-gel synthesis was studied. The evolution of the molecular structure is traced using the infrared and lowfrequency Raman spectroscopy methods. The elastic moduli of the samples as well as the pore wall moduli at various stages of heat treatment are determined from the data on Brillouin scattering. The formation of monolithic glass on the macroscopic level manifests itself within a narrow temperature range by the dramatic increase of Young's modulus to the accepted value for fused silica. This phenomenon coincides with structural transformations on the molecular scale: (i) the definite correlation radius (the long-range order sphere) appears; (ii) local distortions of the silica network relax. The presence of structural defects influences the kinetics of vitreous SiO₂ formation during xerogel heat treatment.     

A survey of support for structured communication in concurrency control models

The two standard models used for communication in concurrent programs, shared memory and message passing, have been the focus of much debate for a long time. Still, we believe the main issue at stake should not be the choice between these models, but rather how to ensure that communication is structured, i.e., it occurs only in syntactically restricted code regions. In this survey, we explore concurrency control models and evaluate how their characteristics contribute positively or negatively to the support for structured communication. We focus the evaluation on three properties: reasonability, which is the main property we are interested in and determines how easily programmers can reason about a concurrent program’s execution; performance, which determines whether there are any distinct features which can prevent or facilitate efficient implementations; and composability, which determines whether a model offers constructs that can be used as building blocks for coarser-grained, or higher-level, concurrency abstractions.     

Performance of a Vertical‐Slot Fish Pass for the Sea Lamprey Petromyzon marinus L. and Habitat Recolonization

In 2011, a vertical‐slot fish pass was built at the Coimbra Açude‐Ponte dam (Mondego River, Portugal), approximately 45 km upstream from the river mouth. The performance of this infrastructure for sea lamprey passage was evaluated between 2011 and 2015 using several complementary methodologies, namely radio telemetry [conventional and electromyogram (EMG)], passive integrated transponder (PIT) telemetry and electrofishing surveys. During the study period, the electrofishing revealed a 29‐fold increase in the abundance of larval sea lamprey upstream of the fish pass. Of the 20 radio‐tagged individuals released downstream from the dam, 33% managed to find and successfully surpass the obstacle in less than 2 weeks, reaching the spawning areas located in the upstream stretch of the main river and in one important tributary. Fish pass efficiency was assessed with a PIT antenna installed in the last upstream pool and revealed a 31% efficiency, with differences between and within migratory seasons. Time of day and river flow significantly influenced the attraction efficiency of the fish pass, with lampreys negotiating it mainly during the night period and when discharge was below 50 m³ s^?1. Sea lampreys tagged with EMG transmitters took 3 h to negotiate the fish pass, during which high muscular effort was only registered during passage, or passage attempts, of the vertical slots. The use of complementary methodologies provided a comprehensive passage evaluation for sea lamprey, a species for which there is a considerable paucity of valuable data concerning behavioural, physiological and environmental influences on obstacle negotiation. Copyright © 2016 John Wiley & Sons, Ltd. Copyright © 2016 John Wiley & Sons, Ltd.